21. ASIAN 2003 :--Advances in computing science
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Congresses ; Programming languages (Electronic computers) ; Congresses ; Electronic data processing ; Congresses ; Saraswat, Vijay ;

22. Abstract state machines, B and
Author: / Egon Beorger ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory--Congresses,B method (Computer science)--Congresses,Z (Computer program language)--Congresses

23. Abstract state machines, B and Z
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: B method (Computer science) ; Congresses. ; Machine theory ; Congresses. ; Z (Computer program language) ; Congresses. ;

24. Abstract state machines, alloy, B and Z
Author: / Marc Frappier ... [et al.] (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Machine theory, Congresses,B method (Computer science), Congresses,Z (Computer program language), Congresses,Machine learning, Congresses
Classification :
QA267
.
A29
2010


25. Abstract state machines, alloy, B and Z : second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings
Author: Marc Frappier ... ]et al.[ )Eds.(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: Congresses ، Machine theory,Congresses ، B method )Computer science(,Congresses ، Z )Computer program language(
Classification :
QA
267
.
A26
2010


26. Abstraction, reformulation, and approximation
Author: / Ian Miguel, Wheeler Ruml (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Congresses,Artificial intelligence--Congresses
Classification :
QA
,
75
.
5
,.
S27
,
2007


27. Abstraction, reformulation, and approximation
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Congresses. ; Artificial intelligence ; Congresses. ;

28. Abstraction, reformulation and approximation : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005 : proceedings
Author: Jean-Daniel Zucker, Lorenza Saitta )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Artificial intelligence
Classification :
QA
76
.
L28
Vol
.
3607


29. Abstraction, reformulation, and approximation : 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002 : proceedings
Author: Sven Koenig, Robert Holte )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Artificial intelligence
Classification :
QA
76
.
L28
Vol
.
2371


30. Abstraction, reformulation, and approximation : 4th international symposium, SARA 2000, Lake LBJ, Texas, USA, July 26-29, 2000 : proceedings
Author: Berthe Y. Choueiry, Toby Walsh )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Artificial intelligence
Classification :
QA
76
.
L28
Vol
.
1864


31. Abstracts : First International Computer Conference in Science, technology and Medicine , December 26-28 1991 ...
Author: International computer confernce in science, technology and medicine 1St, Isfahan, 1991
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Computer science -- Congresses
Classification :
I61a

32. Abstracts : First International Computer Conference in Science, technology and Medicine , December 26-28 1991 ...
Author: International computer confernce in science, technology and medicine 1St, Isfahan, 1991
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Computer science -- Congresses
Classification :
I61a

33. Abstracts : First International Computer Conference in Science, technology and Medicine , December 26-28 1991 ...
Author: International computer confernce in science, technology and medicine 1St, Isfahan, 1991
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Computer science -- Congresses
Classification :
I61a

34. Abstracts : First International Computer Conference in Science, technology and Medicine , December 26-28 1991 ...
Author: International computer confernce in science, technology and medicine 1St, Isfahan, 1991
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Computer science -- Congresses
Classification :
I61a

35. Abstracts : First International Computer Conference in Science, technology and Medicine , December 26-28 1991 ...
Author: International computer confernce in science, technology and medicine 1St, Isfahan, 1991
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Computer science -- Congresses
Classification :
I61a

36. Abstracts : First International Computer Conference in Science, technology and Medicine , December 26-28 1991 ...
Author: International computer confernce in science, technology and medicine 1St, Isfahan, 1991
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Computer science -- Congresses
Classification :
I61a

37. Abstracts : First International Computer Conference in Science, technology and Medicine , December 26-28 1991 ...
Author: International computer confernce in science, technology and medicine 1St, Isfahan, 1991
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Computer science -- Congresses
Classification :
I61a

38. Abstracts : First International Computer Conference in Science, technology and Medicine , December 26-28 1991 ...
Author: International computer confernce in science, technology and medicine 1St, Isfahan, 1991
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Computer science -- Congresses
Classification :
I61a

39. Abstracts : First International Computer Conference in Science, technology and Medicine , December 26-28 1991 ...
Author: International computer confernce in science, technology and medicine 1St, Isfahan, 1991
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Computer science -- Congresses
Classification :
I61a

40. Abstracts : First International Computer Conference in Science, technology and Medicine , December 26-28 1991 ...
Author: International computer confernce in science, technology and medicine 1St, Isfahan, 1991
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Computer science -- Congresses
Classification :
I61a
